排序方式: 共有53条查询结果,搜索用时 787 毫秒
1.
提出了结合逻辑和面向对象范例的一种新方法,其特点是在统一的逻辑语义和对象语义解释的基础上,同时支持逻辑语言的描述性特征,和面向对象语言的结构化、信息隐藏、继承等特性;并在逻辑语言的Herbrand解释基础上,探讨了逻辑对象的语义解释;最后给出了我们根据这种方法设计并实现的面向对象逻辑程序设计系统所提供的对象操作原语。 相似文献
2.
针对C~3I 系统工程对文电作业处理的实用需求,重点对其中的软件模块组织和硬件支撑环境等基本技术进行了综合性阐述。本文可对文电系统总体设计提供参考。 相似文献
3.
对某小型电动无人机(以下简称SEPUAV)在其左翼破损40%面积矩下的操稳特性进行详细分析。首先在此损伤下典型大侧滑角定常工作点附近进行特殊的小扰动线性化,然后进行特征根和飞行运动模态的分析;其次对此特殊构型SEPUAV进行操稳特性、时频响应特性进行分析。分析结果表明:左翼破损40%面积矩SEPUAV出现特有运动模态并影响全部纵侧向运动状态的响应;部分传递函数出现较多非最小相位零点从而导致初始响应发生反向;部分通道的Bode图中出现多个波峰波谷并有相角提前等现象。分析结果对后续容损飞行控制器的设计起到铺垫的作用。 相似文献
4.
针对后勤信息化建设中数据集成和信息资源规划中面临的问题,提出了基于目录访问协议的统一角色存储、Agent表数据同步和JMS数据发布的用户信息认证机制和信息交换机制,实现了后勤各级用户全网身份数据的统一整合,确保全局数据的一致性,为全网完全统一身份认证提供技术基础。 相似文献
5.
针对多核集群系统所表现出的新的性能特征,提出了面向多核集群系统消息传递应用程序的并行模拟模型并设计、实现了一个并行模拟器MCPSim(Multi-core Cluster Parallel Simulator),MCPSim在功能模型和性能模型上体现了片内核间、结点内片间以及结点间等三个层次上消息通信的特点,同时支持对应用的消息数量、通信量等的百分比分布的profiling功能,采用PRIMEJ、acobi3D、NPB IS以及HPL等Benchmark程序对MCPSim进行了测试,结果表明MCPSim性能预测的精度优于BigSim,同时能够广泛应用于针对多核集群系统消息传递应用程序的性能分析中。 相似文献
6.
研究新公布的北斗民用导航电文中的两类历书与北斗二号导航电文历书的差异,对比分析各类历书对接收机首次定位时间的影响。利用实际的历书数据,比较不同历书类型的用户算法,分析不同龄期数据对接收机首次定位性能的影响。结果表明,高精度历书在1周的数据龄期内性能较为稳定,中等精度历书精度稍逊于高精度历书,但由于简化了电文空间,能接近高精度历书性能。简约历书进一步简化了参数数目和电文空间,尽管位置误差达到了数百千米,但却能在数月之后保持相应精度,有利于缩短接收机首次定位时间。 相似文献
7.
结合工程需要设计了消息基器件数据低寄存器定位监视电路,满足了总线和本地CPU对数据低寄存器读写时的时序关系,给出了部分实现电路和状态转移流程图。 相似文献
8.
《人民武装警察法》为武警部队处置突发事件明确了充分的法律依据,树立了系统的法律规范,提供了可靠的法律保障。同时也对武警部队依法处置突发事件提出了更高的要求,即必须做到:指挥法定,任务法定,职责法定,行为法定,保障法定,责任法定。武警部队在处置突发事件中对《人民武装警察法》的实施运用,应当把握好以下原则:统一领导,集中指挥;严格审批,依法用警;把握权限,严格执法;遵纪守法,规范言行;多方协调,全面保障;接受监督,承担责任。 相似文献
9.
刘丽等作者在《装甲兵工程学院学报》第19卷第2期中,利用非齐次线性方程组给出了一种身份认证协议和一种消息认证协议。指出了这2个协议在设计上存在的安全缺陷,并给出了几种可能的攻击方法。 相似文献
10.
重庆市某大厦A塔楼转换层RC梁裂缝分析与防治 总被引:2,自引:0,他引:2
以重庆市一实际工程为背景,分析了引起干缩裂缝和温度裂缝的原因,并在构件承载力满足的前提下,提出了环氧砂浆封闭裂缝的处理方法,以保证建筑物的整体性和耐久性:同时从材料的选用、施工季节、施工方式、现场管理、构造措施等几个方面提出了预防干缩裂缝和温度裂缝的措施,如选用水化热小和收缩小的水泥,控制砂石含量,降低水灰比;采用分层浇注的方式或采用补偿收缩混凝土并加以适当温度控制的方式浇注大体积混凝土;加强混凝土的养护;设置控制缝或后浇缝以及加强水平构造配筋,等等。上述处理方法和预防措施可供从事工程结构设计和施工的工程技术人员参考。 相似文献